1. Axiomatic method and category theory

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations

رده :
QA248

2. From a Geometrical Point Of View :

پدیدآورنده :

کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)

موضوع : Categories (Mathematics)-- History.,Categories (Mathematics)-- Philosophy.,Functor theory.,Algebraic logic., (مقولات (ریاضیات

رده :
QA169
.
M387
2009

3. From a Geometrical Point of View

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Categories (Mathematics) -- History. ,Categories (Mathematics) -- Philosophy,رسته‌ها (ریاضیات) -- تاریخ,رسته‌ها (ریاضیات) -- فلسفه

رده :
E-Book
,

4. From a geometrical point of view

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ; Functor theory. ; Algebraic logic. ;

5. From a geometrical point of view : a study of the history and philosophy of category theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Philosophy ، Categories )Mathematics(

رده :
QA
169
.
M36F7

6. From a geometrical point of view: a study of the history and philosophy of category theory

پدیدآورنده :

موضوع : ، Categories )Mathematics(-- History,، Categories )Mathematics(-- Philosophy

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

7. The age of alternative logics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory

رده :
BC135
.
A39
2006

8. The age of alternative logics : assessing philosophy of logic and mathematics today

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(

رده :
BC
135
.
A35

9. The age of alternative logics: assessing philosophy of logic and mathematics today

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(

رده :
BC
135
.
A39
2006

10. Tool and object

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ;

11. Tool and object :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Categories (Mathematics)-- History,Categories (Mathematics)-- Philosophy

رده :
QA169
.
K76
2007

12. Tool and object : a history and philosophy of category theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : History ، Categories )Mathematics(,Philosophy ، Categories )Mathematics(

رده :
QA
169
.
K76T6

13. Tool and object: a history and philosophy of category theory

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Categories )Mathematics(-- History,، Categories )Mathematics(-- Philosophy

رده :
QA
169
.
K76
2007